Super-fast Validated Solution of Linear Systems
نویسندگان
چکیده
Validated solution of a problem means to compute error bounds for a solution in finite precision. This includes the proof of existence of a solution. The computed error bounds are to be correct including all possible effects of rounding errors. The fastest known validation algorithm for the solution of a system of linear equations requires twice the computing time of a standard (purely) numerical algorithm. In this paper we present a super-fast validation algorithm for linear systems with symmetric positive definite matrix. This means that the entire computing time for the validation algorithm including computation of an approximated solution is the same as for a standard numerical algorithm. Numerical results are presented.
منابع مشابه
Vibration Analysis of a Nonlinear System with a Nonlinear Absorber under the Primary and Super-harmonic Resonances (TECHNICAL NOTE)
Abstract In vibratory systems, linear and nonlinear vibration absorbers can be used to suppress the primary and super-harmonic resonance responses. In this paper, the behavior of a nonlinear system with a nonlinear absorber, under the primary and super-harmonic resonances is investigated. The stiffnesses of the main system and the absorber are cubically nonlinear and the dampers are linear. M...
متن کاملA New Non-linear Control of the Four-Leg Inverter with Decoupled Model and Fast Dynamic Response for PV Generation Systems
Distributed generation (DG) will play an important role in future power generation systems, especially in stand-alone applications. Three phase four-leg inverter is a well-known topology which can be used as an interface power converter for DGs. Thanks to the fourth leg to provide the neutral path, the four-leg inverter is able to supply balanced loads as well as unbalanced loads. In this paper...
متن کاملJacobi Operational Matrix Approach for Solving Systems of Linear and Nonlinear Integro-Differential Equations
This paper aims to construct a general formulation for the shifted Jacobi operational matrices of integration and product. The main aim is to generalize the Jacobi integral and product operational matrices to the solving system of Fredholm and Volterra integro--differential equations which appear in various fields of science such as physics and engineering. The Operational matr...
متن کاملMinimal solution of fuzzy linear systems
In this paper, we use parametric form of fuzzy number and we converta fuzzy linear system to two linear system in crisp case. Conditions for the existence of a minimal solution to $mtimes n$ fuzzy linear equation systems are derived and a numerical procedure for calculating the minimal solution is designed. Numerical examples are presented to illustrate the proposed method.
متن کاملFUZZY INCLUSION LINEAR SYSTEMS
In this manuscript, we introduce a new class of fuzzy problems, namely ``fuzzy inclusion linear systems" and propose a fuzzy solution set for it. Then, we present a theoretical discussion about the relationship between the fuzzy solution set of a fuzzy inclusion linear system and the algebraic solution of a fuzzy linear system. New necessary and sufficient conditions are derived for obtain...
متن کامل